10707 search results - page 527 / 2142 » Designing executable abstractions |
196
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
206
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
172
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
222
click to vote
KI
1998
Springer
15 years 11 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
200
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Replication has been widely used in J2EE servers for reliability and scalability. There are two properties which are important for a stateful J2EE application server. Fir...