1980 search results - page 261 / 396 » Compositional Model Checking of Real Time Systems |
128
Voted
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
124
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
130
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Access to realistic, complex graph datasets is critical to research on social networking systems and applications. Simulations on graph data provide critical evaluation of new sys...
141
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
In Mobile Social Networks (MSN) individuals with similar interests or commonalities connect to each other using the mobile phones. MSN are special kind of Ad-hoc Networks in which ...
128
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...