Sciweavers

2266 search results - page 356 / 454
» A generic component model for building systems software
Sort
View
HICSS
2000
IEEE
138views Biometrics» more  HICSS 2000»
15 years 10 months ago
The NZDIS Project: An Agent-based Distributed Information Systems Architecture
This paper describes an architecture for building distributed information systems from existing information resources, based on software agent and distributed object technologies....
Martin K. Purvis, Stephen Cranefield, Geoff Bush, ...
MEMOCODE
2006
IEEE
16 years 12 days ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
MJ
2011
288views Multimedia» more  MJ 2011»
15 years 1 months ago
Emulation-based transient thermal modeling of 2D/3D systems-on-chip with active cooling
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
Pablo Garcia Del Valle, David Atienza
SLE
2009
Springer
16 years 28 days ago
A Role-Based Approach towards Modular Language Engineering
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
Christian Wende, Nils Thieme, Steffen Zschaler
ISORC
2003
IEEE
15 years 11 months ago
Embedded Linux Outlook in the PostPC Industry
This paper presents an analysis of the future of Embedded Linux in the PostPC industry. This analysis is carried out by first examining the current forces at work in the PostPC ma...
Seongsoo Hong