6020 search results - page 990 / 1204 » A New Approach to Model Counting |
159
click to vote
ICSOC
2009
Springer
16 years 29 days ago
2009
Springer
Recently, the Software-as-a-Service (SaaS) model has been increasingly supported, becoming a major part of the new emerging cloud computing paradigms. Although SaaS exists in diff...
153
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Today, international mobile roaming (IMR) is experiencing changes both in terms of technology and business models. Traditionally, voice and SMS have been the only services offer...
141
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
145
click to vote
MSWIM
2004
ACM
15 years 12 months ago
2004
ACM
A fundamental issue in the design of a wireless sensor network is to devise mechanisms to make efficient use of its energy, and thus, extend its lifetime. Due to the paramount imp...
173
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...