454 search results - page 28 / 91 » Negotiating Models |
109
Voted
ENTCS
2008
15 years 2 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
129
Voted
GAMESEC
2010
15 years 11 days ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
110
click to vote
ICSM
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper investigates how maintainability can be established in system integration (SI) projects where maintainers have no direct access to the source code of the third-party so...
172
Voted
ICSE
1995
IEEE-ACM
15 years 6 months ago
1995
IEEE-ACM
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
104
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...