Sciweavers

153 search results - page 21 / 31
» From Philosophical to Industrial Logics
Sort
View
HICSS
2009
IEEE
123views Biometrics» more  HICSS 2009»
14 years 2 months ago
Towards Conceptual Metamodeling of IT Governance Frameworks Approach - Use - Benefits
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
Matthias Goeken, Stefanie Alter
TAP
2009
Springer
178views Hardware» more  TAP 2009»
14 years 1 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
IRI
2008
IEEE
14 years 1 months ago
Data component based management of reservoir simulation models
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
ICDIM
2007
IEEE
14 years 1 months ago
Control validation of D.E.S systems: Application to remote laboratories
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
Pascale Marange, François Gellot, Bernard R...
ATAL
2005
Springer
14 years 27 days ago
Allocation of indivisible goods: a general model and some complexity results
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
Sylvain Bouveret, Michel Lemaître, Hé...