3926 search results - page 732 / 786 » A Logic of Object-Oriented Programs |
146
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
162
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
131
Voted
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...
163
click to vote
EH
2000
IEEE
15 years 10 months ago
2000
IEEE
Reconfigurable chips are integrated circuits whose internal connections can be programmed by the user to attend a specific application. Field Programmable Gate Arrays (FPGAs) and ...
153
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...