Sciweavers

480 search results - page 8 / 96
» Specification for User Modeling with Self-Observing Systems
Sort
View
WWW
2001
ACM
14 years 8 months ago
XML Query Forms (XQForms): Declarative Specification of XML Query Interfaces
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
Michalis Petropoulos, Vasilis Vassalos, Yannis Pap...
HASE
2008
IEEE
13 years 7 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
13 years 11 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
WCE
2007
13 years 9 months ago
Prioritizing Quality Specifications of Multi-agent Systems
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...
Punam Bedi, Vibha Gaur
AINA
2011
IEEE
12 years 11 months ago
Non-invasive Browser Based User Modeling Towards Semantically Enhanced Personlization of the Open Web
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...
Kevin Koidl, Owen Conlan, Lai Wei, Ann Marie Saxto...