152 search results - page 29 / 31 » Interactive verification of concurrent systems using symboli... |
155
Voted
ACMACE
2006
ACM
15 years 9 months ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...
136
Voted
ICEIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
127
Voted
AIIDE
2008
15 years 6 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
152
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
171
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...