1981 search results - page 88 / 397 » The State of Change: A Survey |
192
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
142
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
The concept of affordance as it applies to user interface design is widely used and accepted; possibly overused. This paper explores one of the constraints on affordance: culture....
175
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
146
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper surveys the current state of the art in agentoriented software engineering, focusing on the area of coordinated multi-agent systems. In multi-agent systems, the interac...
159
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
The growing demand for portable electronic devices has led to an increased emphasis on power consumption within the semiconductor industry. As a result, designers are now encourag...