Sciweavers

1002 search results - page 63 / 201
» Implementing Standard Reference Models for e-learning System...
Sort
View
ECRTS
2002
IEEE
15 years 11 months ago
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
Mario Aldea Rivas, Michael González Harbour
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
15 years 12 months ago
Registering UMM Business Collaboration Models in an ebXML Registry
UN/CEFACT’s modeling methodology (UMM) is used to develop global choreographies of inter-organizational business processes. UMM models should be publically available in order to...
Birgit Hofreiter, Christian Huemer, Marco Zapletal
AH
2008
Springer
16 years 10 days ago
A Dynamic Content Generator for Adaptation in Hypermedia Systems
The heterogeneity problem (in terms of different types of access devices, network bandwidth, preferences/characteristics of the user, etc.) has become a major problem for the Inter...
David Mérida, Ramón Fabregat, Xavier...
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 9 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
HICSS
2007
IEEE
148views Biometrics» more  HICSS 2007»
16 years 9 days ago
A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts
Abstract— In recent years business-to-business (B2B) ecommerce has been subject to major rethinking. A paradigm shift from document centric file-based interchange of business in...
Jürgen Dorn, Christoph Grün, Hannes Wert...