3747 search results - page 730 / 750 » Active Operations on Collections |
HYBRID
2010
Springer
14 years 20 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
HICSS
2002
IEEE
14 years 15 days ago
2002
IEEE
In September of 1998, the College of Engineering at the University of Massachusetts Dartmouth piloted an innovative, integrated, first-year curriculum. It dramatically changed 31 ...
INFOCOM
2002
IEEE
14 years 14 days ago
2002
IEEE
Abstract—Many recent router architectures decouple the routing engine from the forwarding engine, so that packet forwarding can continue even when the routing process is not acti...
RIDE
2002
IEEE
14 years 14 days ago
2002
IEEE
An important aspect of Business to Business ECommerce is the agile Virtual Enterprise (VE). VEs are established when existing enterprises dynamically form temporary alliances, joi...
GECCO
2010
Springer
14 years 10 days ago
2010
Springer
Technology scaling has offered advantages to embedded systems, such as increased performance, more available memory and reduced energy consumption. However, scaling also brings a...