1728 search results - page 220 / 346 » Formal Modeling of Process Migration |
173
Voted
ER
2011
Springer
14 years 16 days ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
100
click to vote
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
104
click to vote
WECWIS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
92
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
125
click to vote
SCP
2008
15 years 21 days ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...