10159 search results - page 145 / 2032 » System Design Validation Using Formal Models |
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
118
click to vote
ISTA
2004
15 years 3 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
117
click to vote
SIGIR
2006
ACM
15 years 8 months ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
149
Voted
LOPSTR
2007
Springer
15 years 8 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Nature-inspired routing protocols are becoming an active area of research. Researchers in the community follow a wn engineering philosophy: inspire, abstract, design, develop an...