Sciweavers

41938 search results - page 197 / 8388
» Complex Systems Modeling
Sort
View
HOTOS
2009
IEEE
15 years 10 months ago
Simplifying Distributed System Development
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
Maysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Vik...
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
MIE
2008
112views Healthcare» more  MIE 2008»
15 years 7 months ago
Reusing Models of Actors and Services in Smart Homecare to Improve Sustainability
: Industrial countries are faced with a growing elderly population. Homecare systems with assistive smart house technology enable elderly to live independently at home. Development...
Ståle Walderhaug, Erlend Stav, Marius Mikals...
VC
2002
129views more  VC 2002»
15 years 6 months ago
Modeling a Murex cabritii sea shell with a structured implicit surface modeler
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
Callum Galbraith, Przemyslaw Prusinkiewicz, Brian ...
JOT
2008
142views more  JOT 2008»
15 years 6 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...