Sciweavers

4099 search results - page 407 / 820
» A Framework for Interactive Proof
Sort
View
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
16 years 12 days ago
Observed hybrid oscillations in an electrical distribution system
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
Vaibhav Donde, Ian A. Hiskens
UDM
2005
IEEE
16 years 11 days ago
Ubiquitous Data Management in Knowledge Sifter via Data-DNA
This paper proposes to model and represent an object’s digital persona by means of a conceptual model that uses fragments of schemata that are termed data-DNA. The object may be...
Larry Kerschberg, Hanjo Jeong
PRIMA
2004
Springer
16 years 4 days ago
Supporting Impromptu Coordination Using Automated Negotiation
We are concerned with forms of interaction in which multiple users, with differing agendas and interests, may realise opportunities for useful synchronisation of their activities. ...
Iyad Rahwan, Connor Graham, Liz Sonenberg
WCRE
2000
IEEE
15 years 11 months ago
Designing an XML-based Exchange Format for Harmonia
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
Marat Boshernitsan, Susan L. Graham
ITICSE
2000
ACM
15 years 11 months ago
Enter the usability engineer: integrating HCI and software engineering
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
Xristine Faulkner, Fintan Culwin