8008 search results - page 414 / 1602 » Computer-Aided Language Processing |
136
click to vote
ICALP
1998
Springer
15 years 9 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
159
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
130
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...
176
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
169
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...