Sciweavers

951 search results - page 29 / 191
» A future radio-access framework
Sort
View
142
Voted
ICWE
2011
Springer
14 years 7 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
165
Voted
TKDE
2012
207views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Mining Web Graphs for Recommendations
—As the exponential explosion of various contents generated on the Web, Recommendation techniques have become increasingly indispensable. Innumerable different kinds of recommend...
Hao Ma, Irwin King, Michael R. Lyu
112
Voted
TACAS
2005
Springer
112views Algorithms» more  TACAS 2005»
15 years 9 months ago
Java-MOP: A Monitoring Oriented Programming Environment for Java
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
Feng Chen, Grigore Rosu
ICSEA
2006
IEEE
15 years 9 months ago
A Conceptual Framework for Business Process Engineering: A Case Study
— this paper discusses a conceptual framework for the requirements engineering process for e-school applications offering a service to the information society. The e-school appli...
Zeljka Car, Hrvoje Belani, Antun Caric
TAMODIA
2008
15 years 5 months ago
MuiCSer: A Process Framework for Multi-disciplinary User-Centred Software Engineering Processes
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
Mieke Haesen, Karin Coninx, Jan Van den Bergh, Kri...