4418 search results - page 678 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
177
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
184
click to vote
MKWI
2008
15 years 8 months ago
2008
: Within an enterprise various information systems have to be run. Enterprise Application Integration (EAI) has become a well-established way to integrate such heterogeneous busine...
188
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
129
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
179
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
— For humanoid robots to fully realize their biped potential in a three-dimensional world and step over, around or onto obstacles such as stairs, appropriate and efficient appro...