1888 search results - page 135 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
118
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
124
Voted
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
Service-oriented systems facilitate business workflows to span multiple organizations (e.g. by means of Web services). As a side effect, data may be more easily transferred over o...
158
Voted
ICWSM
2009
15 years 1 months ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
101
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Recently, the IMS Learning Resource Meta-Data Specification [1] was released, paving the way for efficient repurposing of educational multimedia in a multitude of learning environ...
150
click to vote
NGITS
1999
Springer
15 years 7 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...