8446 search results - page 1285 / 1690 » A Process Compensation Language |
156
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Whilst techniques for narrative generation and agent behaviour have made significant progress in recent years, natural language processing remains a bottleneck hampering the scala...
166
click to vote
DALT
2009
Springer
16 years 22 days ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
152
click to vote
ER
2009
Springer
16 years 22 days ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
166
Voted
ESAW
2009
Springer
16 years 22 days ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
144
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...