1863 search results - page 292 / 373 » Load-Reuse Analysis: Design and Evaluation |
147
click to vote
FM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
170
click to vote
IEAAIE
2009
Springer
16 years 22 days ago
2009
Springer
Many researchers in the HRI and ECA domains try to build robots and agents that exhibit human-like behavior in real-world close encounter situations. One major requirement for comp...
163
click to vote
EICS
2009
ACM
16 years 21 days ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
204
click to vote
IRI
2008
IEEE
16 years 18 days ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
165
click to vote
ITNG
2007
IEEE
16 years 14 days ago
2007
IEEE
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...