182 search results - page 36 / 37 » Textual Modelling Embedded into Graphical Modelling |
STTT
1998
13 years 5 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we present the design and implementation of Ovid, a browser for Grid-related information. The key goal of Ovid is to support the seamless navigation of users in the...
FPGA
2004
ACM
13 years 9 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
CVPR
2004
IEEE
14 years 7 months ago
2004
IEEE
This paper provides a comprehensive analysis of exactly what visual information about the world is embedded within a single image of an eye. It turns out that the cornea of an eye...