1021 search results - page 194 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
107
click to vote
ATVA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
103
click to vote
PPOPP
2012
ACM
13 years 6 months ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
102
click to vote
DATE
2007
IEEE
15 years 5 months ago
2007
IEEE
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
SIGOPS
2010
14 years 9 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
ICAIL
2003
ACM
15 years 4 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...