1146 search results - page 200 / 230 » Formal Specification Generation from Requirement Documents |
WMCSA
2002
IEEE
15 years 2 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
74
Voted
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
78
Voted
COMPSAC
1998
IEEE
15 years 1 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
ICECCS
1997
IEEE
15 years 1 months ago
1997
IEEE
Design of practical routing protocols is complex and dificult due to complicated requirements of faulttolerance and flexibility. The protocol is defined to be fault-tolerant if me...
DSD
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...