208 search results - page 36 / 42 » Realization using the model existence theorem |
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
104
click to vote
SODA
2008
ACM
14 years 12 months ago
2008
ACM
A common approach for dealing with large data sets is to stream over the input in one pass, and perform computations using sublinear resources. For truly massive data sets, howeve...
103
click to vote
CSL
2009
Springer
15 years 2 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
HICSS
2011
IEEE
14 years 2 months ago
2011
IEEE
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
115
click to vote
TSMC
2010
14 years 5 months ago
2010
-- This paper presents an artificial ant-colony approach to distributed sensor wakeup control in wireless sensor networks (WSN) to accomplish the joint task of surveillance and tar...