5630 search results - page 191 / 1126 » Computability in Specification |
148
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
112
click to vote
GI
2005
Springer
15 years 10 months ago
2005
Springer
: Interorganisational standards are an important requirement for loosely coupled interorganisational relationships such as supply chain networks. The many different standardisation...
120
click to vote
COBUILD
1999
Springer
15 years 9 months ago
1999
Springer
This paper argues for the importance of home-related research on technology. Several important differences between researching homes and researching workplaces are described, and s...
134
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
162
click to vote
SCP
2008
15 years 4 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...