135 search results - page 24 / 27 » Applicability of the BLAST Model Checker: An Industrial Case... |
105
click to vote
TOSEM
1998
15 years 1 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
ACMDIS
2008
ACM
15 years 3 months ago
2008
ACM
True multi-user, multimodal interaction over a digital table lets co-located people simultaneously gesture and speak commands to control an application. We explore this design spa...
139
Voted
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
117
Voted
SELMAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
144
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...