Sciweavers

7209 search results - page 401 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
OOPSLA
2007
Springer
15 years 9 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
ICSM
1999
IEEE
15 years 7 months ago
A Two-Phase Process for Software Architecture Improvement
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
René L. Krikhaar, André Postma, M. P...
MOBICOM
2005
ACM
15 years 8 months ago
PeopleNet: engineering a wireless virtual social network
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
Mehul Motani, Vikram Srinivasan, Pavan Nuggehalli
ICSM
2009
IEEE
15 years 10 months ago
Visualizing the Java heap demonstration proposal
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
Steven P. Reiss
93
Voted
COMPSAC
2005
IEEE
15 years 8 months ago
RIES - Internet Voting in Action
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In th...
Engelbert Hubbers, Bart Jacobs, Wolter Pieters