3828 search results - page 402 / 766 » Proof-Based System Engineering Using a Virtual System Model |
186
click to vote
CSMR
2006
IEEE
16 years 25 days ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
203
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
176
click to vote
ISTA
2003
15 years 8 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
184
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
179
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...