3365 search results - page 587 / 673 » Digital System Design: Architectures, Methods and Tools |
111
click to vote
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
108
click to vote
MOBISYS
2009
ACM
16 years 13 days ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
ERLANG
2004
ACM
15 years 5 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
103
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...