Sciweavers

9974 search results - page 1674 / 1995
» Software Interconnection Models
Sort
View
BMCBI
2010
88views more  BMCBI 2010»
15 years 3 months ago
MetaBar - a tool for consistent contextual data acquisition and standards compliant submission
Background: Environmental sequence datasets are increasing at an exponential rate; however, the vast majority of them lack appropriate descriptors like sampling location, time and...
Wolfgang Hankeln, Pier Luigi Buttigieg, Dennis Fin...
CORR
2010
Springer
71views Education» more  CORR 2010»
15 years 3 months ago
Sampled Semantics of Timed Automata
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 3 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
IAJIT
2008
90views more  IAJIT 2008»
15 years 3 months ago
From e-Manufacturing to M-Manufacturing
: This paper studies the impact of wireless technologies on enterprises. A multitude of new paradigms and new software technologies have emerged from the web. E-business and e-manu...
Faiza Bouchoul, Mohamed Mostefai
CCE
2006
15 years 3 months ago
An object-oriented framework for modular chemical process simulation with semiconductor processing applications
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
Jing Chen, Raymond A. Adomaitis
« Prev « First page 1674 / 1995 Last » Next »