2153 search results - page 169 / 431 » From Requirements Models to Formal Specifications in B |
86
Voted
CPHYSICS
2008
14 years 10 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
103
Voted
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
136
click to vote
WEBDB
2010
Springer
15 years 2 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...
84
Voted
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
122
Voted
CASES
2007
ACM
15 years 2 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...