Results for:
"
Angelo+Parra
" in Documents
- TRIO Specification of a Steam Boiler Controller
- We specify a controller for a steam boiler starting from an informal descriptions of its requirements. The specification is formalized in the temporal logic TRIO and its objectoriented extension TRIO+...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- TRIO Specification of a Steam Boiler Controller
- We specify a controller for a steam boiler starting from an informal descriptions of its requirements. The specification is formalized in the temporal logic TRIO and its objectoriented extension TRIO+...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 15-05-09
- Effects of Regulation on a Self-Organized Market
- Adapting a simple biological model, we study the effects of control on the market. Companies are depicted as sites on a lattice and labelled by a fitness parameter (some `company--size' indicator). Th...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Automated high-level reasoning for deception detection: Two scenarios ...
- Abstract Work that deals with automated approaches to identify deception is of great interest to the Department of Homeland Security, and the Department of Defense. The approach followed here is nove...
-
Rating:
Views: (2004)
Pages: (0)
Uploaded: Publication Date: 7-10 Oct. 2007
- Automated Deductive Analysis Of Time Critical Systems Based On Methodi...
- The paper [CH85] presents a mathematical model of real time systems behavior, suitable for requirements specification, analysis and proof of properties. Content. Time is considered, almost always, a d...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Structural patterns for descriptive documents
- Abstract. Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specifications. Thi...
-
Rating:
Views: (1013)
Pages: ()
Uploaded: 22-01-08
- Determination of serum levels of complement component C4b-binding prot...
- Department of Medicine, University of Washington, Seattle 98103.
-
Rating:
Views: (1026)
Pages: ()
Uploaded: 15-01-09
- A theory of implementation and refinement in timed Petri nets 1998 2 c...
- We define formally the notion of implementation for time critical systems in terms of provability of properties described abstractly at the specification level. We characterize this notion in terms of...
-
Rating:
Views: (1004)
Pages: ()
Uploaded: 15-05-09