2351 search results - page 313 / 471 » A Method of Requirement Inconsistency Analysis |
117
Voted
APSCC
2008
IEEE
15 years 7 days ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
96
Voted
DAS
2008
Springer
15 years 10 hour ago
2008
Springer
Image based mail piece identification is a new technology for optimizing the postal sorting process. Exploiting the mail piece surface uniqueness, characteristic features are used...
84
Voted
NETWORKING
2007
14 years 11 months ago
2007
Building robust network monitoring applications is hard given the unpredictable nature of network traffic. Complex analysis on streaming network data usually leads to overload situ...
87
Voted
DLOG
2006
14 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
AAAI
1990
14 years 11 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...