Sciweavers

8446 search results - page 222 / 1690
» A Process Compensation Language
Sort
View
EMNLP
2011
14 years 6 months ago
Identifying and Following Expert Investors in Stock Microblogs
Roy Bar-Haim, Elad Dinur, Ronen Feldman, Moshe Fre...
GROUP
2003
ACM
15 years 11 months ago
Process inheritance and instance modification
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
Guangxin Yang
EUROPAR
2003
Springer
15 years 11 months ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
FM
2009
Springer
90views Formal Methods» more  FM 2009»
16 years 1 months ago
Fair Model Checking with Process Counter Abstraction
Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...