828 search results - page 116 / 166 » Software engineering research: from cradle to grave |
155
click to vote
ACMDIS
2006
ACM
16 years 4 days 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 ...
144
click to vote
IUI
2006
ACM
16 years 3 days 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 ...
153
click to vote
VMCAI
2005
Springer
15 years 11 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...
147
click to vote
ISESE
2002
IEEE
15 years 11 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 ...
164
click to vote
B
2007
Springer
15 years 10 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...