1432 search results - page 108 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
139
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
126
Voted
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
100
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
120
Voted
ICWS
2009
IEEE
16 years 21 days ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
114
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...