6040 search results - page 915 / 1208 » Generating Instance Models from Meta Models |
210
click to vote
RTSS
2007
IEEE
16 years 29 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
229
click to vote
SIGSOFT
2006
ACM
16 years 19 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
170
click to vote
SAC
2005
ACM
16 years 7 days ago
2005
ACM
The process by which a cell senses and responds to its environment, as in signal transduction, is often mediated by a network of protein-protein interactions, in which proteins co...
162
click to vote
FM
2005
Springer
16 years 6 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
159
click to vote
COMPGEOM
2004
ACM
16 years 3 days ago
2004
ACM
Triangle strips have been widely used for efficient rendering. It is NP-complete to test whether a given triangulated model can be represented as a single triangle strip, so many...