769 search results - page 116 / 154 » The Real-Time Specification for Java |
WSC
2007
13 years 11 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...
CISSE
2008
Springer
13 years 10 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
IM
2007
13 years 10 months ago
2007
— To reduce frequent changes and upgrades of management systems, we need a guideline of OSS's architecture and development methods of the OSSs. TMF has proposed NGOSS techno...
PST
2008
13 years 10 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...