7206 search results - page 403 / 1442 » Using a Hypermedia System for Systems Engineering |
192
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
185
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
160
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
166
click to vote
ARCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
170
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...