4460 search results - page 94 / 892 » Formal methods for interactive systems |
ACMDIS
2008
ACM
14 years 12 months ago
2008
ACM
The design, development, and deployment of interactive systems can substantively impact individuals, society, and the natural environment, now and potentially well into the future...
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
ICFCA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
SIGDOC
2009
ACM
15 years 4 months ago
2009
ACM
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...