596 search results - page 98 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
182
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
224
click to vote
WEBDB
2010
Springer
15 years 10 months ago
2010
Springer
Data on the Web is increasingly being used for discovery and exploratory tasks. Unlike traditional fact-finding tasks that require only the typical single-query and response parad...
178
click to vote
E4MAS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
186
click to vote
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
154
click to vote
NIPS
2008
15 years 7 months ago
2008
Aiming towards the development of a general clustering theory, we discuss abstract axiomatization for clustering. In this respect, we follow up on the work of Kleinberg, ([1]) tha...