3218 search results - page 459 / 644 » Timed Extensions for SDL |
166
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
158
click to vote
CPM
1998
Springer
15 years 10 months ago
1998
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
120
click to vote
UIST
1998
ACM
15 years 10 months ago
1998
ACM
Serial periodic data exhibit both serial and periodic properties. For example, time continues forward serially, but weeks, months, and years are periods that recur. While there ar...
139
click to vote
FOCS
1997
IEEE
15 years 10 months ago
1997
IEEE
We consider the problem of deciding whether a polygonal knot in 3dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that...
151
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Star networks were proposedrecently as an attractive alternative to the well-known hypercube models for interconnection networks. Extensive research has been performed that shows ...