Sciweavers

6581 search results - page 406 / 1317
» Formalizing Design Patterns
Sort
View
PERCOM
2010
ACM
14 years 12 months ago
The architecture design of a cross-domain context management system
A new context management framework, which supports the interaction between different domain context managers, is proposed. Two different context producerconsumer patterns are defin...
Bin Guo, Lin Sun, Daqing Zhang
VLC
2010
156views more  VLC 2010»
14 years 11 months ago
Visual instructional design languages
Submission Deadline: December 14, 2009 The Journal of Visual Languages and Computing (http://www.elsevier.com/locate/jvlc, impact factor: 0.863) invites authors to submit papers fo...
Manuel Caeiro Rodríguez, Michael Derntl, Lu...
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
15 years 9 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
15 years 11 months ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
ASM
2000
ASM
15 years 9 months ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...