6020 search results - page 894 / 1204 » A New Approach to Model Counting |
200
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Mobile Ad Hoc Networks present several new challenges, mainly due to mobility. Publish/Subscribe is a communication paradigm that fits this network model well since the...
174
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
New product development (NPD) projects require efficient strategies for reducing time to market and responding faster and better to the customer needs. While these strategies were...
160
click to vote
ICAC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
167
click to vote
ICPP
2007
IEEE
16 years 27 days ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
167
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...