7835 search results - page 1163 / 1567 » Software are Processes Too |
160
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...
170
click to vote
ADC
2007
Springer
16 years 1 months ago
2007
Springer
A huge diversity of biological databases is available via the Internet, but many of these databases have been developed in an ad hoc manner rather than in accordance with any data...
171
click to vote
CSCWD
2007
Springer
16 years 1 months ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...
161
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...
187
click to vote
FMICS
2007
Springer
16 years 1 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...