7009 search results - page 969 / 1402 » Patterns in Complex Systems Modeling |
227
click to vote
REST
2010
ACM
15 years 9 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In the past, we have observed several large blackouts, i.e. loss of power to large areas. It has been noted by several researchers that these large blackouts are a result of a cas...
224
click to vote
JAR
2006
15 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
216
click to vote
TISSEC
2010
15 years 5 months ago
2010
Privacy has been acknowledged to be a critical requirement for many business (and non-business) environments. Therefore, the definition of an expressive and easy-to-use privacyre...
242
click to vote
HCI
2009
15 years 5 months ago
2009
A mirror world, which is a virtual space modeling a physical space, attracts enormous interests from VR community recently. Various applications such as Second Life, Google Earth a...