2139 search results - page 53 / 428 » Connecting language to the world |
87
Voted
FCT
1999
Springer
15 years 2 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
96
Voted
FIDJI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. MoCha is an exogenous coordination middleware for distributed communication based on mobile channels. Channels allow anonymous, and point-to-point communication among nod...
72
Voted
IMPERIAL
1994
15 years 2 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
78
Voted
ICSE
1994
IEEE-ACM
15 years 2 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
DAGSTUHL
2008
14 years 11 months ago
2008
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...