Sciweavers

390 search results - page 49 / 78
» SOFAS: software analysis services
Sort
View
ICALT
2005
IEEE
14 years 2 months ago
A System Designed to Support Formative Assessment of Open-Ended Written Assignments
This paper introduces the MarkTool System – a software system designed to support formative assessment of open-ended written assignments. The MarkTool System brings together ser...
Jun Zhang, Eva Heinrich
SISW
2003
IEEE
14 years 2 months ago
Implementation of a Storage Mechanism for Untrusted DBMSs
Several architectures have been recently proposed that store relational data in encrypted form on untrusted relational databases. Such architectures permit the creation of novel I...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
SIGSOFT
2009
ACM
14 years 3 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
METAINFORMATICS
2005
Springer
14 years 2 months ago
Issues of usability in hypermedia systems: a usability estimation questionnaire for hypermedia designers
Open Hypermedia have come up with several systems, which can provide services to software developers. This paper argues that usability is a critical attribute that should be taken...
Nikos Tsirakis, Nikos Karousos, George Gkotsis
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
14 years 21 days ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine