310 search results - page 25 / 62 » Implementing Java modeling language contracts with AspectJ |
122
click to vote
WSC
2004
15 years 3 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
101
Voted
LREC
2010
15 years 3 months ago
2010
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
116
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
110
click to vote
ICOST
2007
Springer
15 years 8 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
125
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...