Sciweavers

1809 search results - page 168 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
PLDI
2003
ACM
15 years 3 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 3 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...
93
Voted
APN
2004
Springer
15 years 1 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
14 years 11 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
14 years 11 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