8179 search results - page 1353 / 1636 » The PRACTIONIST Development Tool |
163
click to vote
AP2PC
2005
Springer
16 years 5 days ago
2005
Springer
Peer-to-peer complementary currencies can be powerful tools for promoting exchanges and building sustainable relationships among selfish peers on the Internet. i-WAT[10] is a prop...
151
click to vote
ASM
2005
ASM
16 years 5 days ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
130
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
199
click to vote
CDVE
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents a solution for cooperation between companies that belong to a supply chain in the ceramic tile sector, where competitiveness requires constant innovation in pro...
178
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...