12107 search results - page 360 / 2422 » Software That Can Think |
206
Voted
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
176
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...
155
click to vote
OOPSLA
1998
Springer
15 years 11 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
137
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
181
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...