637 search results - page 28 / 128 » A Structural Knowledge-Based Simulation Methodology for Dist... |
AOSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
PERCOM
2011
ACM
13 years 9 days ago
2011
ACM
—In this paper, we propose P3 -coupon, a Prompt and Privacy-preserving electronic coupon distribution system based on a Probabilistic one-ownership forwarding algorithm. In this ...
CMOT
2004
13 years 8 months ago
2004
We describe a methodology to examine bipartite relational data structures as exemplified in networks of corporate interlocking. These structures can be represented as bipartite gr...
HOLOMAS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...