Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,376,792 papers from all fields of science
Search
Sign In
Create Free Account
IFIP Working Group 2.1
Known as:
IFIP WG 2.1
, IFIP Working Group 2.1 on ALGOL
, Working Group 2.1 on ALGOL
IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
ALGOL 60
ALGOL 68
ALGOL Bulletin
ALGOL W
Expand
Broader (1)
International Federation for Information Processing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Monitoring and recovery for web service applications
J. Simmonds
,
Shoham Ben-David
,
M. Chechik
Computing
2013
Corpus ID: 6965663
Web service applications are distributed processes that are composed of dynamically bounded services. In this paper, we give a…
Expand
2012
2012
A New Framework for Privacy of RFID Path Authentication
Shaoying Cai
,
R. Deng
,
Yingjiu Li
,
Yunlei Zhao
International Conference on Applied Cryptography…
2012
Corpus ID: 3026411
RFID-based path authentication enables supply chain managers to verify the exact path that a tag has taken. In this paper, we…
Expand
Review
2006
Review
2006
Revisiting Ontology-Based Requirements Engineering in the age of the Semantic Web
Glen Dobson
,
Peter Sawyer
2006
Corpus ID: 17246763
There is a long history of research into utilising ontologies in the Requirements Engineering process. An ontology is generally…
Expand
2005
2005
Asserting Bytecode Safety
Martin Wildmoser
,
T. Nipkow
European Symposium on Programming
2005
Corpus ID: 14009986
We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode…
Expand
Review
2002
Review
2002
User-Centred Requirements Engineering
PhD Alistair Sutcliffe MA
Springer London
2002
Corpus ID: 34645482
ion finder for use in requirements elicitation. Automated Software Engineering 4, pp. 375-418. Gotel, OTZ and Finkelstein, ACW…
Expand
Highly Cited
1998
Highly Cited
1998
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
S. Krishnamurthi
,
M. Felleisen
,
Daniel P. Friedman
European Conference on Object-Oriented…
1998
Corpus ID: 607148
Many problems require recursively specified types of data and a collection of tools that operate on those data. Over time, these…
Expand
1995
1995
IFIP Working Group 3.5: using computers to support young learners
D. Benzie
IFIP World Conference on Computers in Education
1995
Corpus ID: 3479139
This paper outlines some of the major issues which IFIP Working Group 3.5 (Informatics in Elementary Education) is concerned with…
Expand
Review
1985
Review
1985
Cache evaluation and the impact of workload choice
A. Smith
International Symposium on Computer Architecture
1985
Corpus ID: 12504280
The selection of the "best" parameters for a cache design, such as size, mapping algorithm, fetch algorithm, line size, etc., is…
Expand
1985
1985
Formal models in programming : proceedings of the IFIP TC2 Working Confernece on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985
E. Neuhold
,
G. Chroust
1985
Corpus ID: 60193226
Review
1981
Review
1981
Alphard: Form and Content
M. Shaw
Springer: New York
1981
Corpus ID: 37261478
Publication History.- - History and Overview.- Prelude - The Alphard form and Verification Issues.- I - Abstraction and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE