1781 search results - page 226 / 357 » An Emerging Need for a New Software Engineering Method |
158
click to vote
MABS
2004
Springer
15 years 12 months ago
2004
Springer
Since Holland (1993) introduced the concept of tags as a possible cooperation forming mechanism in evolving system (among other things) a number of tag models with intriguing, and ...
182
click to vote
TON
2008
15 years 6 months ago
2008
Efficient mobility management is one of the major challenges for next-generation mobile systems. Indeed, a mobile node (MN) within an access network may cause excessive signaling t...
153
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
162
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...
145
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...