Sciweavers

557 search results - page 82 / 112
» A survey of social software engineering
Sort
View
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
14 years 3 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
FSTTCS
2007
Springer
14 years 3 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ISESE
2005
IEEE
14 years 2 months ago
Risk analysis terminology for IT-systems: does it match intuition?
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
Ida Hogganvik, Ketil Stølen
ISORC
2005
IEEE
14 years 2 months ago
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
Binoy Ravindran, E. Douglas Jensen, Peng Li
ICCS
2005
Springer
14 years 2 months ago
On the Need to Bootstrap Ontology Learning with Extraction Grammar Learning
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
Georgios Paliouras