2706 search results - page 234 / 542 » The case for a new business model |
169
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
150
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
156
click to vote
ETFA
2006
IEEE
16 years 21 days ago
2006
IEEE
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
159
click to vote
GMP
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we present a method that allows novice users to interactively create partially self-similar manifold surfaces without relying on shape grammars or fractal methods. ...
158
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...