3199 search results - page 221 / 640 » Variability in Automation System Models |
153
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
This article demonstrates the way in which Knowledge Management System (KMS) quality influences effective competitive advantage through decision making and through organizational ...
165
click to vote
ICLP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
171
click to vote
CCIA
2005
Springer
16 years 1 days ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...
155
click to vote
ICLP
2005
Springer
16 years 4 hour ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
176
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...