3045 search results - page 452 / 609 » Formal Approaches to Software Architecture |
157
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
168
click to vote
COLLABORATION
1999
Springer
15 years 11 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
201
click to vote
TCS
2002
15 years 6 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
200
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
189
click to vote
ICDCS
2005
IEEE
16 years 7 days ago
2005
IEEE
The link structure of the Web graph is used in algorithms such as Kleinberg’s HITS and Google’s PageRank to assign authoritative weights to Web pages and thus rank them. Both ...