Sciweavers

7206 search results - page 1280 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
BPM
2005
Springer
85views Business» more  BPM 2005»
16 years 16 days ago
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
Volker Gruhn, André Köhler, Robert Kla...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
16 years 10 days ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
203
Voted
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
16 years 9 days ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar
VRST
2003
ACM
16 years 7 days ago
Alternative reality: a new platform for virtual reality art
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mika...
151
Voted
EMSOFT
2003
Springer
16 years 6 days ago
Rate Monotonic vs. EDF: Judgment Day
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
Giorgio C. Buttazzo
« Prev « First page 1280 / 1442 Last » Next »