10568 search results - page 658 / 2114 » Computer Intelligence and Formalization |
202
click to vote
JCIT
2008
15 years 7 months ago
2008
Affective computing systems are software systems that take in account the emotional state of the user during their operation. Recently it is increasingly accepted that combining e...
230
click to vote
CMSB
2010
Springer
15 years 2 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
191
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
169
click to vote
UC
2009
Springer
16 years 1 months ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
167
click to vote
HPCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In the context of computational grids, a metascheduler is the service responsible for scheduling jobs across many geographically distributed processor clusters. Typically, these s...