2274 search results - page 383 / 455 » Qualitative Modeling for Requirements Engineering |
147
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
156
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
144
click to vote
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
196
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
Photo community sites such as Flickr and Picasa Web Album host a massive amount of personal photos with millions of new photos uploaded every month. These photos constitute an ove...
142
click to vote
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...