Sciweavers

2501 search results - page 23 / 501
» Obligations and Their Interaction with Programs
Sort
View
CHI
2006
ACM
14 years 9 months ago
Invited research overview: end-user programming
Brad A. Myers, Andrew Jensen Ko, Margaret M. Burne...
BMCBI
2011
13 years 8 days ago
HomPPI: A Class of Sequence Homology Based Protein-Protein Interface Prediction Methods
Background: Although homology-based methods are among the most widely used methods for predicting the structure and function of proteins, the question as to whether interface sequ...
Li C. Xue, Drena Dobbs, Vasant Honavar
CHI
2006
ACM
14 years 9 months ago
The next step: from end-user programming to end-user software engineering
Margaret M. Burnett, Brad A. Myers, Mary Beth Ross...
KBSE
2000
IEEE
14 years 7 days ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
IEEEARES
2009
IEEE
14 years 3 months ago
Enhancing Control of Service Compositions in Service-Oriented Architectures
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
Christian Schneider, Frederic Stumpf, Claudia Ecke...