12333 search results - page 614 / 2467 » System Level Modelling for Hardware Software Systems |
192
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
173
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
232
click to vote
AIL
2008
15 years 7 months ago
2008
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
290
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
169
click to vote
HICSS
2003
IEEE
16 years 13 days ago
2003
IEEE
In this paper, we discuss what we believe is the grand challenge facing the software quality research community: the ability to accurately define, in the very earliest stages of d...