564 search results - page 35 / 113 » Animators for Generated Programming Environments |
154
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
163
click to vote
AAMAS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation...
138
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In recent years, data broadcasting becomes a promising technique to design a mobile information system with power conservation, high scalability and high bandwidth utilization. Ho...
142
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
159
click to vote
LOPSTR
1997
Springer
15 years 8 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...