963 search results - page 127 / 193 » Formal Analysis of BPMN Models Using Event-B |
ECEASST
2008
15 years 1 months ago
2008
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
101
click to vote
JSW
2007
15 years 1 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
127
click to vote
JOLLI
2010
14 years 12 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
129
click to vote
COLING
1990
15 years 2 months ago
1990
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
109
Voted
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...