2282 search results - page 280 / 457 » Active property checking |
140
Voted
BCS
2008
15 years 6 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
147
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
150
Voted
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
229
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract-- Communications between individuals can be represented by (weighted, multi-) graphs. Many applications operate on communication graphs associated with telephone calls, em...
135
Voted
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The purpose of this study is to explore the role of knowledge management systems (KMS) in structuring knowledgeable practices within organizations. Specifically, we consider how i...