3765 search results - page 699 / 753 » Formal Methods for Systems Engineering Behavior Models |
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
Enabling technology for realizing ad-hoc business processes currently is becoming more and more popular, like for example web services. Ad-hoc business processes are semantically c...
MASCOTS
2001
13 years 10 months ago
2001
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
AROBOTS
2008
13 years 8 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...