642 search results - page 18 / 129 » A Framework for Pattern-Based Global Models |
141
click to vote
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
142
Voted
CLEIEJ
2006
15 years 2 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
128
Voted
AUTOMATICA
2008
15 years 2 months ago
2008
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
120
Voted
TVCG
2008
15 years 2 months ago
2008
Computing smooth and optimal one-to-one maps between surfaces of same topology is a fundamental problem in graphics and such a method provides us a ubiquitous tool for geometric mo...