2555 search results - page 287 / 511 » Putting complex systems to work |
172
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
199
Voted
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
155
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The support of human creativity by information and communication technology is an important and interesting area for research. To advance our research in this complex area our app...
175
click to vote
IRCDL
2010
15 years 8 months ago
2010
Abstract. In the music field, an open issue is represented by the creation of innovative tools for acquisition, preservation and sharing of information. The strong difficulties in ...
173
click to vote
HCI
2007
15 years 8 months ago
2007
This paper discusses the use of cognitive models as augmented metacognition on task allocation for tasks requiring visual attention. In the domain of naval warfare, the complex and...