Sciweavers

1809 search results - page 168 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
PLDI
2003
ACM
15 years 11 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
WMTE
2002
IEEE
15 years 11 months ago
Applying Wireless Technologies to Build a Highly Interactive Learning Environment
This study tries to apply wireless technologies to build a highly interactive environment. For this purpose, this study first identifies four types of interaction between the memb...
Tzu-Chien Liu, Hsue-Yie Wang, Jen-Kai Liang, Tak-W...
APN
2004
Springer
15 years 10 months ago
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
Alexander Norta
SIMUTOOLS
2008
15 years 8 months ago
Simulating process chain models with OMNeT++
This paper presents an approach to simulate complex hierarchical process chains resulting from large logistics networks in OMNeT++, a discrete event simulation environment designe...
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian...
ECIS
2004
15 years 8 months ago
The challenge of translating health information systems from one developing country context to another: case study from Mozambiq
What does it take for an open source, Not-for-Profit, software developed in one context to be internationalized and localized so as to be used in another context different from it...
José Leopoldo Nhampossa