6079 search results - page 978 / 1216 » Aspect-Oriented Process Engineering |
154
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
158
click to vote
IUI
2006
ACM
16 years 13 days ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
202
click to vote
IUI
2006
ACM
16 years 13 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
166
click to vote
PPPJ
2006
ACM
16 years 13 days ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
171
click to vote
CODES
2005
IEEE
16 years 3 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...