738 search results - page 109 / 148 » Object Orientation and Formal Techniques |
177
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
178
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Scene categorization is an important mechanism for providing high-level context which can guide methods for a more detailed analysis of scenes. State-of-the-art technique...
192
click to vote
ESWS
2007
Springer
16 years 13 days ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
161
click to vote
ICOST
2007
Springer
16 years 13 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
152
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...