2036 search results - page 81 / 408 » A generic type-and-effect system |
101
Voted
INTERACT
2003
15 years 2 months ago
2003
: The video-paper describes a java prototype of a generic visual information retrieval system called VisMeB, developed to visualize metadata within various contexts. We reconsidere...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
104
Voted
CONCUR
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
SECURWARE
2007
IEEE
15 years 7 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
92
Voted
DEXAW
1999
IEEE
15 years 5 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...