3199 search results - page 221 / 640 » Variability in Automation System Models |
172
Voted
HICSS
2008
IEEE
16 years 1 months 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 ...
180
Voted
ICLP
2007
Springer
16 years 1 months 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...
188
Voted
CCIA
2005
Springer
16 years 17 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...
174
Voted
ICLP
2005
Springer
16 years 16 days 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...
195
Voted
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...