Sciweavers

405 search results - page 66 / 81
» A Process Model and Typology for Software Product Updaters
Sort
View
AC
2003
Springer
14 years 2 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
GI
2005
Springer
14 years 2 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
FMICS
2007
Springer
14 years 2 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
EISWT
2007
13 years 10 months ago
New Work Modes for Collaborative Writing
In the recent years, due to the emergence of new models of production based on collaboration, collaborative writing tools started to be increasingly used by various communities. D...
Hala Skaf-Molli, Claudia-Lavinia Ignat, Charbel Ra...
SERP
2003
13 years 10 months ago
Reliability Modeling Using UML
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
Chokchai Leangsuksun, Hertong Song, Lixin Shen