4418 search results - page 92 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
123
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
168
click to vote
CN
2004
15 years 3 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
124
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Peer-to-peer (P2P) systems have been recently proposed for providing search and information retrieval facilities over distributed data sources, including web data. Terms and their ...
112
Voted
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
129
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...