9015 search results - page 238 / 1803 » Using Structural Computing to Support Information Integratio... |
204
click to vote
CMSB
2007
Springer
16 years 20 days ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
209
click to vote
MOBIDE
2006
ACM
16 years 13 days ago
2006
ACM
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
178
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
174
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
138
click to vote
ITICSE
2009
ACM
16 years 1 months ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...