7206 search results - page 1156 / 1442 » Using a Hypermedia System for Systems Engineering |
127
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
126
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
135
click to vote
ICIDS
2009
Springer
15 years 9 months ago
2009
Springer
Authoring is still considered a bottleneck in successful Interactive Storytelling and Drama. The claim for intuitive authoring tools is high, especially for tools that allow storyt...
144
click to vote
GMP
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
182
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...