439 search results - page 50 / 88 » Program Generators and the Tools to Make Them |
163
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
112
click to vote
NGITS
1997
Springer
15 years 8 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
150
click to vote
OPODIS
2008
15 years 5 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
117
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
144
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...