2036 search results - page 81 / 408 » A generic type-and-effect system |
154
click to vote
INTERACT
2003
15 years 7 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...
137
click to vote
HYBRID
2007
Springer
15 years 10 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 ...
169
click to vote
CONCUR
2004
Springer
15 years 10 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...
146
click to vote
SECURWARE
2007
IEEE
16 years 18 days 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...
153
click to vote
DEXAW
1999
IEEE
15 years 10 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 ...