2500 search results - page 360 / 500 » Logical Semantics of Modularisation |
165
click to vote
ECBS
2007
IEEE
16 years 22 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
161
click to vote
TIME
2007
IEEE
16 years 20 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
167
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
152
click to vote
EDOC
2006
IEEE
16 years 14 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
173
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...