4418 search results - page 424 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
199
click to vote
WETICE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Social networking web sites, which allow users to create identities and link them to friends who have also created identities, are highly popular. Systems such as Facebook and M...
205
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
157
click to vote
CAV
2004
Springer
16 years 8 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
229
click to vote
CC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
168
click to vote
COORDINATION
2005
Springer
16 years 12 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...