1521 search results - page 69 / 305 » On Sampled Semantics of Timed Systems |
127
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
138
click to vote
ECBS
2000
IEEE
15 years 7 months ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
132
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Ontologies play a key role in Semantic Web research. A common use of ontologies in Semantic Web is to enrich the current Web resources with some well-defined meaning to enhance th...
125
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
111
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract: Numerical solutions to fractional differential equations can be extremely computationally intensive due to the effect of non-local derivatives in which all previous time ...