181 search results - page 20 / 37 » Petri net markup language: implementation and application |
ENTCS
2006
13 years 7 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
CICLING
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...
BIBE
2001
IEEE
13 years 11 months ago
2001
IEEE
As the eXtensible Markup Language (XML) becomes a popular or standard language for exchanging data over the Internet/Web, there are a growing number of genome Web sites that make ...
ADAEUROPE
2001
Springer
14 years 3 days ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...