7206 search results - page 1286 / 1442 » Using a Hypermedia System for Systems Engineering |
137
Voted
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
134
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Social networking sites have been increasingly gaining popularity. Well-known sites such as Facebook have been reporting growth rates as high as 3% per week [5]. Many social netwo...
120
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
238
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
122
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...