3828 search results - page 496 / 766 » Proof-Based System Engineering Using a Virtual System Model |
224
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
214
click to vote
ICMI
2003
Springer
16 years 7 days ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
203
click to vote
USENIX
2001
15 years 8 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
237
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...
200
click to vote
AOSE
2005
Springer
16 years 17 days ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...