Sciweavers

1986 search results - page 195 / 398
» An activity based costing approach to systems development an...
Sort
View
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
16 years 1 days ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
ISTA
2004
15 years 8 months ago
Object-Relational Mapping Techniques for .NET Framework
: The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to ...
Anatoly E. Doroshenko, Vlad Romanenko
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
Online Convex Programming and regularization in adaptive control
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
Maxim Raginsky, Alexander Rakhlin, Serdar Yük...
GEOINFORMATICA
2006
133views more  GEOINFORMATICA 2006»
15 years 6 months ago
Indexing Fast Moving Objects for kNN Queries Based on Nearest Landmarks
With the rapid advancements in positioning technologies such as the Global Positioning System (GPS) and wireless communications, the tracking of continuously moving objects has bec...
Dan Lin, Rui Zhang 0003, Aoying Zhou
WEBIST
2008
15 years 8 months ago
A Web-Based Version of a Trivial Game to Promote Galician Culture
We present in this paper the architecture and some implementation details of a web-based version of a Trivial game. Our implementation achieves such a high degree of interactivity ...
Miguel Rodríguez Luaces, Oscar Pedreira, &A...