1599 search results - page 303 / 320 » A Reference Model for Knowledge Management in Software Engin... |
86
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
ECRA
2002
14 years 9 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
102
click to vote
ICEIS
2000
IEEE
15 years 2 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...