2775 search results - page 271 / 555 » Visualizing abstract events |
192
click to vote
EDOC
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
150
click to vote
ICDE
2006
IEEE
16 years 21 days ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
178
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. CORBA Object Transaction Monitors (OTM) refer to a middleware technology that enable the building of transactional, objectoriented information systems running in distribu...
146
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
210
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...