426 search results - page 80 / 86 » Semantically enhanced Business Process Modelling Notation |
119
click to vote
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
100
click to vote
KDD
2005
ACM
16 years 2 days ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
127
Voted
IQ
2007
15 years 1 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
WSC
1997
15 years 1 months ago
1997
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
105
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...