10038 search results - page 1791 / 2008 » Model Checking for Managers |
150
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
136
click to vote
SIGIR
2005
ACM
15 years 10 months ago
2005
ACM
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
184
Voted
VRST
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
146
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
An important issue arising from P2P applications is how to accurately and efficiently retrieve the required Web services from large-scale repositories. This paper resolves this is...
146
Voted
ASIAN
2005
Springer
15 years 10 months ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...