9626 search results - page 1377 / 1926 » Invariant Based Programming |
178
click to vote
WRAC
2005
Springer
16 years 17 days ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
157
click to vote
AOSD
2004
ACM
16 years 16 days ago
2004
ACM
Although aspect-oriented programming (AOP) is becoming widely used, the design of the pointcut language and the generic and reusable description of advice are still research topic...
205
click to vote
ADBIS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
172
click to vote
ARCS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
181
click to vote
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...