8190 search results - page 337 / 1638 » From Timed to Hybrid Systems |
217
click to vote
TON
2010
15 years 5 months ago
2010
Abstract—In this paper, we investigate the suitability of embedding Internet hosts into a Euclidean space given their pairwise distances (as measured by round-trip time). Using t...
171
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements eli...
179
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
For more than a decade e-Commerce and eGovernment applications have made major impacts in their respective sectors, private and public. Some time ago, we presented early insights ...
169
click to vote
MEDINFO
2007
15 years 8 months ago
2007
Matching clinical data to codes in controlled terminologies is the first step towards achieving standardisation of data for safe and accurate data interoperability. The MoST autom...
152
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...