Sciweavers

1990 search results - page 353 / 398
» Towards software-friendly networks
Sort
View
CBSQ
2003
Springer
14 years 27 days ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
ECRTS
2002
IEEE
14 years 19 days ago
The FTT-Ethernet Protocol: Merging Flexibility, Timeliness and Efficiency
Despite having been designed to interconnect office equipment such as computers and printers, since its early days Ethernet has also been considered for use in the industrial doma...
Paulo Pedreiras, Luís Almeida, Paolo Gai
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
14 years 18 days ago
Serviceflow Management: Caring for the Citizen's Concern in Designing E-government Transaction Processes
Many authorities have started to use web sites to provide services based on transactions. The guiding vision is often a process portal for citizens that provides access to the cou...
Ralf Klischewski, Ingrid Wetzel
AINA
2010
IEEE
14 years 15 days ago
Underground Wireless Communications for Monitoring of Drag Anchor Embedment Parameters: A Feasibility Study
—In the offshore engineering community, reliable deep-water anchor performance is critical for mooring floating platforms such as Mobile Offshore Drilling Units. In a typical in...
Alvin C. Valera, Hwee Pink Tan, Xiaoping Ma
ESWS
2010
Springer
14 years 14 days ago
A Hybrid Model and Computing Platform for Spatio-semantic Trajectories
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
Zhixian Yan, Christine Parent, Stefano Spaccapietr...