828 search results - page 116 / 166 » Software engineering research: from cradle to grave |
118
click to vote
ACMDIS
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
104
click to vote
IUI
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
110
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
104
click to vote
ISESE
2002
IEEE
15 years 6 months ago
2002
IEEE
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...
121
click to vote
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...