1153 search results - page 62 / 231 » Compositional Specification Calculus for Information Systems... |
122
click to vote
ITCC
2002
IEEE
15 years 8 months ago
2002
IEEE
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
129
click to vote
TOPLAS
2002
15 years 3 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
124
Voted
IADIS
2004
15 years 5 months ago
2004
The performance evaluation of an information retrieval system is a decisive aspect for the measure of the improvements in search technology. Our work intends to provide a framewor...
148
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
155
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...