Sciweavers

5352 search results - page 355 / 1071
» Modeling the socio-cultural context
Sort
View
3DIM
2003
IEEE
16 years 5 days ago
Effective 3D Modeling Of Heritage Sites
Over the past few years, remarkable increase has occurred in the demand for 3D models for cultural heritage applications. The techniques employed have evolved from surveying and C...
Sabry F. El-Hakim, J.-Angelo Beraldin, Michel Pica...
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
16 years 5 days ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
Didier Buchs, Stanislav Chachkov, David Hurzeler
KBSE
2003
IEEE
16 years 4 days ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
DOCENG
2003
ACM
16 years 4 days ago
Model driven architecture based XML processing
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
Ivan Kurtev, Klaas van den Berg
ISSS
2002
IEEE
130views Hardware» more  ISSS 2002»
15 years 11 months ago
System-Level Modeling of a Network Switch SoC
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
Andrew S. Cassidy, Christopher P. Andrews, Donald ...